/**
 * \file util.h
 * \author Davide Gessa
 * \date 10-12-09
 */
#ifndef UTIL_H
#define UTIL_H

#include <types.h>

/**
 * Struttura dati per le info del kernel
 */
typedef struct 
{
	char name[32];		///< Nome del sistema
	char ver[16];		///< Versione del sistema
	char rev[16];		///< Revisione dell'svn
	char date[16];		///< Data di compiling
	char time[16];		///< Ora di compiling
	char arch[16];		///< Architettura
	char vend[16];		///< Cpu info
} sysinfo_t;

uint32_t sysinfo_get(sysinfo_t *);
void show_task_message_list(pid_t);
void show_used_memory();
int task1(int, char **);
int task2(int, char **);

#endif
